منابع مشابه
Neat embeddings as adjoint situations
Looking at the operation of forming neat α-reducts as a functor, with α an infinite ordinal, we investigate when such a functor obtained by truncating ω dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorical result to several amalgamati...
متن کاملNeat Embeddings and Amalgamation
We present a property of neat reducts commuting with forming subalgebras as a definability condition. The purpose of this paper is to relate results on neat reducts, a notion particular to cylindric algebras to results on the “more universal” strong amalgamation property in a very general setting. It is known [7], [8] and [6] that amalgamation properties in a class of algebras correspond to int...
متن کاملOn Neat Embeddings of Algebraisations of First Order Logic
Let α be an infinite ordinal. There are non-isomorphic representable algebras of dimension α each of which is a generating subreduct of the same β dimensional algebra. Dually there exists a representable algebra A of dimension , α such that A is a generating subreduct of B and , B′ however, B and B′ are not isomorphic. The above was proven to hold for infinite dimensional cylindric algebras (CA...
متن کاملThe Super Amalgamation Property via Neat Embeddings, and a Problem of Henkin and Monk
We give a sufficient condition for a class of representable cylindric algebras to have the super amalgamation property. We show that the class of representable algebras (RCAα) does not satisfy this condition when α > 1, but if we restrict ourselves to the class of dimension complemented algebras (Dcα) then this condition is satisfied when α ≥ ω. Hence Dcα’s super amalgamate with respect to RCAα...
متن کاملSituations as indices and as denotations
A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intension...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2013
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-013-0344-7